Skip to content

Use pull_request.head.sha instead of ref - #242

Merged
zijchen merged 1 commit into
masterfrom
zijchen-patch-1
Oct 17, 2024
Merged

Use pull_request.head.sha instead of ref#242
zijchen merged 1 commit into
masterfrom
zijchen-patch-1

Conversation

@zijchen

@zijchen zijchen commented Oct 16, 2024 •
edited
Loading

Copy link
Copy Markdown
Contributor

for security purposes

@zijchen
zijchen temporarily deployed to Automation test October 16, 2024 17:38 — with GitHub Actions Inactive
@zijchen
zijchen temporarily deployed to Automation test October 16, 2024 17:38 — with GitHub Actions Inactive
@zijchen
zijchen temporarily deployed to Automation test October 16, 2024 17:38 — with GitHub Actions Inactive
@zijchen
zijchen temporarily deployed to Automation test October 16, 2024 17:38 — with GitHub Actions Inactive
@zijchen
zijchen marked this pull request as ready for review October 16, 2024 20:51
@zijchen
zijchen merged commit e76d550 into master Oct 17, 2024
@zijchen
zijchen deleted the zijchen-patch-1 branch October 17, 2024 17:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dzsquared dzsquared dzsquared approved these changes
@yorek yorek Awaiting requested review from yorek
+1 more reviewer
@chlafreniere chlafreniere chlafreniere approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@zijchen @dzsquared @chlafreniere